Predicate Logic

释义 Definition（中文）

谓词逻辑：一种形式逻辑系统，用“谓词”（表示对象的性质或对象之间的关系）以及“量词”（如 for all 全称量词 ∀、there exists 存在量词 ∃）来表达与推理命题。它比命题逻辑更能精确描述“谁具有某种性质/谁与谁有什么关系”等结构；常见的核心形式是一阶谓词逻辑（first-order predicate logic）。

发音 Pronunciation（IPA）

/ˈprɛdɪkət ˈlɑːdʒɪk/

例句 Examples

Predicate logic uses quantifiers like “for all” and “there exists.”
谓词逻辑使用诸如“对所有……”和“存在……”这样的量词。

In formal semantics, predicate logic can model statements about individuals and relations, making arguments easier to test for validity.
在形式语义学中，谓词逻辑可以为关于个体与关系的陈述建模，从而更容易检验论证是否有效。

词源 Etymology（中文）

Predicate 源自拉丁语 praedicare（“宣告、断言”），在语法与逻辑中逐渐固定为“对主语所作的断言/性质描述”；logic 源自希腊语 logikē（与推理、言说有关）。合起来，predicate logic 指用“谓词 + 量词”的方式来进行形式化表达与推理的逻辑体系，也常被称为 predicate calculus（谓词演算）。

相关词 Related Words

• Logic
• Predicate
• Quantifier
• First-Order Logic
• Propositional Logic
• Model Theory
• Inference
• Validity
• Syntax
• Semantics

文学与经典著作 Literary Works（出现/讨论较多）

• Gottlob Frege，《Begriffsschrift》（《概念文字》，1879）——现代谓词逻辑思想的重要奠基文本
• Alfred North Whitehead & Bertrand Russell，《Principia Mathematica》（《数学原理》，1910–1913）——形式逻辑与数学基础的经典巨著（涉及谓词化表达与推理框架）
• Alonzo Church，《Introduction to Mathematical Logic》（《数理逻辑导论》，1956）
• Herbert B. Enderton，《A Mathematical Introduction to Logic》（《逻辑学的数学导论》，1972）
• Douglas R. Hofstadter，《Gödel, Escher, Bach》（《哥德尔、艾舍尔、巴赫》，1979）——以通俗方式讨论形式系统与（含谓词逻辑在内的）逻辑思想